A => A